FLASc: a formal algebra for labeled property graph schema

Abstract Contemporary labeled property graph databases are either schema-less or schema-optional to support frequent changes in the structure of data found domains requiring high flexibility. However, lack impacts transformation and loading operations from heterogeneous sources into databases. We present a formal algebra for specifying generating schema formally define demonstrate use generated schemas systematically transform load data-sets related cyber-physical systems, big analytics tourism. Findings three disparate case studies show that -generated assist enforcing integrity constraints reduce chance corruption, hence assuring consistency integrity.